On the Largest Cartesian Closed Category of Stable Domains

AbstractLet SABC (resp., SABC˜) be the category of algebraic bounded complete domains with conditionally multiplicative mappings, that is, Scott-continuous mappings preserving meets of pairs of compatible elements (resp., stable mappings). Zhang showed that the category of dI-domains is the largest cartesian closed subcategory of ω-SABC and ω-SABC˜, with the exponential being the stable function space, where ω-SABC and ω-SABC˜ are full subcategories of SABC and SABC˜ respectively which contain countablly based algebraic bounded complete domains as objects. This paper shows that:i)The exponentials of any full subcategory of SABC or SABC˜ are exactly function spaces;ii)SDABC˜ the category of distributive algebraic bounded complete domains, is the largest cartesian closed subcategory of SABC˜; The compact elements of function spaces in the category SABC are also studied

Negative exponential behavior of image mutual information for pseudo-thermal light ghost imaging: Observation, modeling, and verification

When use the image mutual information to assess the quality of reconstructed image in pseudo-thermal light ghost imaging, a negative exponential behavior with respect to the measurement number is observed. Based on information theory and a few simple and verifiable assumptions, semi-quantitative model of image mutual information under varying measurement numbers is established. It is the Gaussian characteristics of the bucket detector output probability distribution that leads to this negative exponential behavior. Designed experiments verify the model.Comment: 13 pages, 6 figure

Binary sampling ghost imaging: add random noise to fight quantization caused image quality decline

When the sampling data of ghost imaging is recorded with less bits, i.e., experiencing quantization, decline of image quality is observed. The less bits used, the worse image one gets. Dithering, which adds suitable random noise to the raw data before quantization, is proved to be capable of compensating image quality decline effectively, even for the extreme binary sampling case. A brief explanation and parameter optimization of dithering are given.Comment: 8 pages, 7 figure

Influence of ventilation on flow-induced vibration of rope-guided conveyance

The behavior of rope-guided conveyances is so complicated that the rope-guided hoisting system hasn’t been understood thoroughly so far. In this paper, with user-defined functions loaded, ANSYS FLUENT 14.5 was employed to simulate the flow-induced vibration of rope-guided conveyances under different ventilation air speed. With rope-guided mine cages taken into account, results show that the ventilation affects the lateral displacement of conveyance greatly. With the increase of ventilation air speed, the maximum lateral and side displacements of ascending conveyances also increase, while those of descending conveyances don’t always increase, because the ventilation air flows downcast. With the thrust bearings equipped with the hoist rope attachment and the tail rope attachment, the rotation of conveyance about vertical axis is very small